1. A Survey of verification techniques for parallel programs
Author: Barringer, Howard, 1591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
Classification :
QA
76
.
L28
Vol
.
191
2. A survey of verification techniques for Parallel programs
Author: Barringer, Howard
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Parallel processing )Electronic computers(,Verification ، Computer programs
Classification :
QA
76
.
5
.
B29627
1985
3. A survey of verification techniques for parallel programs
Author: Barringer, Howard
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic Computers(,، Computer programs - Verification
Classification :
QA
76
.
5
.
B29627
1985
4. A survey of verification techniques for parallel programs
Author: Howard Barringer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
Classification :
QA76
.
5
H693
1985
5. CONCUR'91 :
Author: J.C.M. Baeten, J.F. Groote (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
6. CONPAR 81 :
Author: edited by Wolfgang Händler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
7. Modelling distributed systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing. ; Parallel programs (Computer programs) ; Verification. ; Parall?lisme (Informatique) ; Traitement r?parti. ;
8. Modelling distributed systems
Author: / Wan Fokkink
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Parallel programs (Computer programs)--Verification
Classification :
QA
,
76
.
58
,.
F65
,
2007
9. Verifying concurrent processes using temporal logic
Author: Hailpern, Brent Tzion
Library: Central Library and Documentation Center (Kerman)
Subject: ، Parallel processing )Electronic computers(,، Computer programs - Verification
Classification :
QA
76
.
L4
v
.
129
10. Verifying concurrent processes using temporal logic
Author: Hailpern, Brent Tzion
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Computer programs-- Verification
Classification :
QA
76
.
6
.
H295
1982
11. Verifying concurrent processes using temporal logic
Author: Hailpern, Brent Tzion, 5591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
Classification :
QA
76
.
L28
Vol
.
129
